منابع مشابه
How to Cite References While Writing an Article?
سخن سردبیر Editorial مجله دانشگاه علوم پزشکی رفسنجان دوره نوزدهم، مرداد 1399، 429-430 به هنگام نگارش یک مقاله، چگونه میتوان به منابع استناد نمود؟ How to Cite References While Writing an Article? محسن رضائیان[1] M. Rezaeian تا کنون در مجله دانشگاه، به ضرورت بررسی دقیق و موشکافانه متون مرتبط، به هنگام نگارش یک مقاله بارها اشاره نمودهایم [3-1]. بنیاد دانش بشری، در وا...
متن کاملLocal Reasoning about While-Loops
Separation logic is an extension of Hoare logic that allows local reasoning. Local reasoning is a powerful feature that often allows simpler specifications and proofs. However, this power is not used to reason about while-loops. In this paper an inference rule is presented that allows using local reasoning to verify the partial correctness of while-loops. Instead of loop invariants this inferen...
متن کاملLecture Notes on Invariants for While Loops and Arbitrary Loops
The previous lecture provided axioms for compositional reasoning about deterministic sequential programs. All the axioms compositionally reduce the truth of a postcondition of a more complex program to a logical combination of postconditions of simpler programs. All axioms? Well, all the axioms but one: those about loops. But putting loops aside for the moment, these axioms completely tell us w...
متن کاملVerifying while loops with invariant relations
Traditionally, invariant assertions are used to verify the partial correctness of while loops with respect to pre/post specifications. In this paper we discuss a related but distinct concept, namely invariant relations, and show how invariant relations are a more potent tool in the analysis of while loops: whereas invariant assertions can only be used to prove partial correctness, invariant rel...
متن کاملParallelizing While Loops for Multiprocessor Systemsy
Current parallelizing compilers treat while loops and do loops with conditional exits as sequential constructs because their iteration space is unknown. Motivated by the fact that these types of loops arise frequently in practice, we have developed techniques that can be used to automatically transform them for parallel execution. We succeed in parallelizing loops involving linked lists travers...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.321.1